Coordinated Atomic Actions: from Concept to Implementation
نویسندگان
چکیده
The Coordinated Atomic Action (or CA action) concept is a unified scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting objects in a distributed object-oriented system. It provides a conceptual framework for dealing with different kinds of concurrency and achieving fault tolerance by extending and integrating two complementary concepts — conversations and transactions. Conversations (enhanced with concurrent exception handling) are used to control cooperative concurrency and to implement coordinated error recovery whilst transactions are used to maintain the consistency of shared resources in the presence of failures and competitive concurrency. This paper explains the CA action concept in detail and then addresses related design issues such as multi-thread coordination, exception handling and resolution, coordinated access to shared objects and provision of software fault tolerance. Finally, brief details are given of a number of experimental prototype implementations and case studies.
منابع مشابه
Implementing Synchronous Coordinated Atomic Actions Based on Forward Error Recovery
Coordinated atomic action concept is proposed as a means for providing fault tolerance in complex object oriented systems which incorporate both cooperative and competitive concurrency. This paper has two purposes: to discuss a particular implementation of this concept and to address many implementation issues which are common for any experiments with this concept. Our implementation relies on ...
متن کاملCoordinated atomic actions as a technique for implementing distributed gamma computation
The intentions of this paper are to discuss Coordinated Atomic actions and to demonstrate how they can be used in a very new application area. We apply this concept to designing a particular case of the Gamma computational paradigm, i.e. distributed Gamma computation. Within our approach, each Gamma reaction is an action. We demonstrate how Gamma computation can be effectively implemented in co...
متن کاملCoordinated Atomic Actions: Formal Model, Case Study and System Implementation
The Coordinated Atomic Action (or CA action) concept is a unified scheme for coordinating complex concurrent activities and supporting error recovery between multiple interacting components in a distributed object system. It provides a conceptual framework for dealing with different kinds of concurrency and achieving fault tolerance by integrating and extending two complementary concepts — conv...
متن کاملUsing the B Method for the Formalization of Coordinated Atomic Actions
Coordinated Atomic Actions have been proven successful for building dependable distributed systems due to their support for error recovery for both competitive and cooperative concurrent activities. This chapter introduces the formal specification of Coordinated Atomic Actions emphasizing the formalization of proposed dependability mechanisms using the B formal method. The specification then al...
متن کاملImplementation of blocking coordinated atomic actions based on forward error recovery
The coordinated atomic action concept was proposed as a means for providing fault tolerance in complex object-oriented systems that incorporate both cooperative and competitive concurrency. This paper has two purposes: to discuss a particular implementation of this concept and to address a number of the implementation issues that are common to any experiments with this concept. Our implementati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1997